Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Post Doc |
|---|---|
| Research fields | Mathematics |
| Keywords | constructive mathematics, type theory, program extraction, formalised mathematics, proof assistant |
Current contact address
| Country | Germany |
|---|---|
| City | München |
Host during sponsorship
| Prof. Dr. Helmut Schwichtenberg | Mathematisches Institut, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Start of initial sponsorship | 01/04/2017 |
Programme(s)
| 2016 | Humboldt Research Fellowship Programme for Postdocs |
|---|